 x=0
 x~=0&&(1/x>2)
 x~=0&(1/x>2)
